Algorithmic Progression